Merge pull request #1114 from vchong/updt_docs
authordavidcunado-arm <[email protected]>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
committerGitHub <[email protected]>
Mon, 2 Oct 2017 14:03:00 +0000 (15:03 +0100)
hikey*: Update docs


Trivial merge